Results for 'Hans Juürgen Ohlbach'

1000+ found
Order:
  1.  11
    Translating graded modalities into predicate logic.Hans Jürgen Ohlbach, Renate A. Schmidt & Ullrich Hustadt - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 253-291.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  22
    Calendar Logic.Hans Jürgen Ohlbach & Dov Gabbay - 1998 - Journal of Applied Non-Classical Logics 8 (4):291-323.
    ABSTRACT A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example ?next week's weekend?. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: ?yesterday I worked for eight hours with one hour lunch break at noon?. Calendar Logic can be translated into propositional logic. Satisfiability is therefore decidable. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  21
    Extensions of first-order logic, Maria Manzano.Hans Jürgen Ohlbach - 1998 - Journal of Logic, Language and Information 7 (3):389-391.
  4.  12
    John Woods, Ralph H. Johnson, Dov M. Gabbay.Hans Jurgen Ohlbach - 2002 - In Dov M. Gabbay (ed.), Handbook of the Logic of Argument and Inference: The Turn Towards the Practical. Elsevier.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  9
    Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  29
    A multi-dimensional terminological knowledge representation language.Franz Baader & Hans Juürgen Ohlbach - 1995 - Journal of Applied Non-Classical Logics 5 (2):153-197.
  7.  3
    Reduction rules for resolution-based systems.Norbert Eisinger, Hans Jürgen Ohlbach & Axel Präcklein - 1991 - Artificial Intelligence 50 (2):141-181.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    Editorial.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1995 - Logic Journal of the IGPL 3 (1):4-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  16
    The Bulletin turned into a Journal.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1995 - Logic Journal of the IGPL 3 (5):682-682.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  3
    Temporal Logic: First International Conference, Ictl '94, Bonn, Germany, July 11 - 14, 1994. Proceedings.Dov M. Gabbay & Hans J. Ohlbach - 1994 - Springer Verlag.
    This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  8
    Thorough refereeing.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1994 - Logic Journal of the IGPL 2 (2):135-136.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Interest Group in Pure and Applied Logics.Dov Gabbay, Ruy de Queiroz & Hans Ohlbach - 1995 - Logic Journal of the IGPL 3 (1):151-152.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Maria Manzano, Extensions of First-Order Logic.H. J. Ohlbach - 1998 - Journal of Logic Language and Information 7:389-391.
  14.  68
    Locke’s Reputation in Nineteenth-Century England.Hans Aarsleff - 1971 - The Monist 55 (3):392-422.
    In 1890 C. S. Peirce wrote a review of A. C. Fraser’s recent book on Locke, published to coincide with the bicentennial of Locke’s Essay. Peirce remarked that “Locke’s grand work was substantially this: Men must think for themselves, and genuine thought is an act of perception…. We cannot fail to acknowledge a superior element of truth in the practicality of Locke’s thought, which on the whole should place him nearly upon a level with Descartes.” This estimate of Locke was (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  94
    Pufendorf and Condillac on Law and Language.Hans Aarsleff - 2011 - Journal of the Philosophy of History 5 (3):308-321.
    This essay argues that Pufendorf conceived the principles of natural law against the rationalism and innatism of the 17th century, and that Condillac similarly formulated a conception of the human origin of language, both of them thus securing open and human foundations for the two primal institutions of law and language, and also making all citizens free agents in the ordering of communal living.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Hugo Riemann und der Musikbegriff der Musikwissenschaft.Hans-Joachim Hinrichsen - 2006 - In Hans Heinrich Eggebrecht, Michael Beiche & Albrecht Riethmüller (eds.), Musik--zu Begriff und Konzepten: Berliner Symposion zum Andenken an Hans Heinrich Eggebrecht. [Stuttgart]: Franz Steiner.
     
    Export citation  
     
    Bookmark  
  17. Nachruf auf Nicholas Rescher.Hans-Peter Krüger - 2024 - Deutsche Zeitschrift für Philosophie 72 (1):156-158.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Truth and method.Hans-Georg Gadamer - 1982 - New York: Continuum. Edited by Joel Weinsheimer & Donald G. Marshall.
    Written in the 1960s, TRUTH AND METHOD is Gadamer's magnum opus.
  19.  13
    Truth and method.Hans Georg Gadamer, Joel Weinsheimer & Donald G. Marshall - 2004 - New York: Continuum. Edited by Joel Weinsheimer & Donald G. Marshall.
    Written in the 1960s, TRUTH AND METHOD is Gadamer's magnum opus. Looking behind the self-consciousness of science, he discusses the tense relationship between truth and methodology. In examining the different experiences of truth, he aims to "present the hermeneutic phenomenon in its fullest extent.
    Direct download  
     
    Export citation  
     
    Bookmark   374 citations  
  20.  69
    Defending Einstein: Hans Reichenbach's writings on space, time, and motion.Hans Reichenbach - 2006 - New York: Cambridge University Press. Edited by Steven Gimbel & Anke Walz.
    Hans Reichenbach, a philosopher of science who was one of five students in Einstein's first seminar on the general theory of relativity, became Einstein's bulldog, defending the theory against criticism from philosophers, physicists, and popular commentators. This book chronicles the development of Reichenbach's reconstruction of Einstein's theory in a way that clearly sets out all of its philosophical commitments and its physical predictions as well as the battles that Reichenbach fought on its behalf, in both the academic and popular (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  21. American Philosophy of Technology: The Empirical Turn.Hans Achterhuis (ed.) - 2001 - Indiana University Press.
    Introduces contemporary American philosophy of technology through six of its leading figures. The six American philosophers of technology whose work is profiled in this clear and concise introduction to the field—Albert Borgmann, Hubert Dreyfus, Andrew Feenberg, Donna Haraway, Don Ihde, and Langdon Winner—represent a new, empirical direction in the philosophical study of technology that has developed mainly in North America. In place of the grand philosophical schemes of the classical generation of European philosophers of technology, the contemporary American generation addresses (...)
    Direct download  
     
    Export citation  
     
    Bookmark   68 citations  
  22.  10
    Traktat über kritische Vernunft.Hans Albert - 1968 - Tübingen,: Mohr (Siebeck).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  23. The nonhuman condition: Radical democracy through new materialist lenses.Hans Asenbaum, Amanda Machin, Jean-Paul Gagnon, Diana Leong, Melissa Orlie & James Louis Smith - 2023 - Contemporary Political Theory (Online first):584-615.
    Radical democratic thinking is becoming intrigued by the material situatedness of its political agents and by the role of nonhuman participants in political interaction. At stake here is the displacement of narrow anthropocentrism that currently guides democratic theory and practice, and its repositioning into what we call ‘the nonhuman condition’. This Critical Exchange explores the nonhuman condition. It asks: What are the implications of decentering the human subject via a new materialist reading of radical democracy? Does this reading dilute political (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  56
    The Legitimacy of the Modern Age.Hans Blumenberg - 1985 - MIT Press.
    In this major work, Blumenberg takes issue with Karl Lowith's well-known thesis that the idea of progress is a secularized version of Christian eschatology, which promises a dramatic intervention that will consummate the history of the ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  25.  59
    Representation and Scepticism from Aquinas to Descartes.Han Thomas Adriaenssen - 2017 - Cambridge: Cambridge University Press.
    In this book Han Thomas Adriaenssen offers the first comparative exploration of the sceptical reception of representationalism in medieval and early modern philosophy. Descartes is traditionally credited with inaugurating a new kind of scepticism by saying that the direct objects of perception are images in the mind, not external objects, but Adriaenssen shows that as early as the thirteenth century, critics had already found similar problems in Aquinas's theory of representation. He charts the attempts of philosophers in both periods to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  15
    The Commodification of Academic Research: Science and the Modern University.Hans Radder (ed.) - 2010 - University of Pittsburgh Press.
    Selling science has become a common practice in contemporary universities. This commodification of academia pervades many aspects of higher education, including research, teaching, and administration. As such, it raises significant philosophical, political, and moral challenges. This volume offers the first book-length analysis of this disturbing trend from a philosophical perspective and presents views by scholars of philosophy of science, social and political philosophy, and research ethics. The epistemic and moral responsibilities of universities, whether for-profit or nonprofit, are examined from several (...)
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  27.  14
    The Philosophy of Scientific Experimentation.Hans Radder (ed.) - 2003 - University of Pittsburgh Press.
    Since the late 1980s, the neglect of experiment by philosophers and historians of science has been replaced by a keen interest in the subject. In this volume, a number of prominent philosophers of experiment directly address basic theoretical questions, develop existing philosophical accounts, and offer novel perspectives on the subject, rather than rely exclusively on historical cases of experimental practice. Each essay examines one or more of six interconnected themes that run throughout the collection: the philosophical implications of actively and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   55 citations  
  28.  40
    In and About the World: Philosophical Studies of Science and Technology.Hans Radder - 1996 - State University of New York Press.
    Offers a new approach to a number of central issues concerning the theoretical interpretation and normative evaluation of contemporary science and technology.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  29.  69
    Between Atoms and Forms: Natural Philosophy and Metaphysics in Kenelm Digby.Han Thomas Adriaenssen & Sander de Boer - 2019 - Journal of the History of Philosophy 57 (1):57-80.
    although mostly known to specialists nowadays, Kenelm Digby was a remarkable figure on the intellectual scene of the early seventeenth century. He has been described as “one of the most influential natural philosophers” of his time,1 and corresponded with many of the great scholars of his days, including Descartes, and the French pioneer of atomism, Pierre Gassendi. In the later years of his life, Digby, alongside men like Robert Boyle, became one of the founding members of the Royal Society.2Digby authored (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  13
    Work on Myth.Hans Blumenberg - 1985 - MIT Press. Edited by Thomas McCarthy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  31.  10
    From Locke to Saussure: Essays on the Study of Language and Intellectual History.Hans Aarsleff - 1982
  32.  8
    Die Legitimität der Neuzeit.Hans Blumenberg - 1988
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  33.  8
    Logik und Semiotik in der Philosophie von Leibniz.Hans Burkhardt - 1980 - München: Philosophia Verlag.
  34.  36
    Theophrastus against the Presocratics and Plato: peripatetic dialectic in the De sensibus.Han Baltussen - 2000 - Boston: Brill.
    This study offers a new and stimulating interpretation of Theophrastus' "De sensibus, a treatise unique in content and method, as it reports and criticizes the ...
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  35. Seeing Zumthor--Images by Hans Danuser: Reflections on Architecture and Photography.Hans Danuser - 2009 - Scheidegger & Spiess.
     
    Export citation  
     
    Bookmark  
  36. In and About the World: Philosophical Studies of Science and Technology.Hans Radder - 1996 - Tijdschrift Voor Filosofie 59 (2):377-377.
    No categories
     
    Export citation  
     
    Bookmark   62 citations  
  37.  17
    Treatise on Critical Reason.Hans Albert - 1985 - Princeton University Press.
    Albert approaches critical rationalism as an alternative to other philosophical standpoints dominant in Germany: the conceptions of the Frankfurt School, hermeneutical thinking as represented by Gadamer, analytic philosophy, and logical empiricism. The author's purpose is to find a way out of the foundationalism of classical philosophy without falling back on the skeptical views so prevalent in today's philosophical thinking. Originally published in 1985. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  38. Thomas White on Location and the Ontological Status of Accidents.Han Thomas Adriaenssen - 2021 - Oxford Studies in Early Modern Philosophy 10:1-35.
    The work of Thomas White represents a systematic attempt to combine the best of the new science of the seventeenth century with the best of Aristotelian tradition. This attempt earned him the criticism of Hobbes and the praise of Leibniz, but today, most of his attempts to navigate between traditions remain to be explored in detail. This paper does so for his ontology of accidents. It argues that his criticism of accidents in the category of location as entities over and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Logik und Semiotik in der Philosophie von Leibniz.Hans Burkhardt - 1980 - Revue Philosophique de la France Et de l'Etranger 173 (1):102-106.
     
    Export citation  
     
    Bookmark   10 citations  
  40. Part/whole I: history.Hans Burkhardt & Carlos A. Dufour - 1991 - In Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology. Munich: Philosophia Verlag. pp. 2--663.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
  41.  14
    The Genesis of the Copernican World.Hans Blumenberg - 1987 - MIT Press.
    This major work by the German philosopher Hans Blumenberg is a monumental rethinking of the significance of the Copernican revolution for our understanding of modernity.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  42.  12
    Hans Albert und der kritische Rationalismus: Festschrift zum 100. Geburtstag von Hans Albert.Hans Albert, Volker Gadenne & Reinhard Neck (eds.) - 2021 - Berlin: Peter Lang.
    Das Buch gibt einen Überblick über die Arbeiten von Hans Albert und behandelt ausgewählte Konsequenzen seines Werks für die Philosophie des Kritischen Rationalismus und ihre Anwendungen in Gebieten der Soziologie, Wirtschaftswissenschaften, Rechtswissenschaften und weiteren Wissenschaften.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Die Lesbarkeit der Welt.Hans Blumenberg - 1988 - Tijdschrift Voor Filosofie 50 (4):742-742.
    No categories
     
    Export citation  
     
    Bookmark   32 citations  
  44.  3
    Theophrastus Against the Presocratics and Plato: Peripatetic Dialectic in the De Sensibus.Han Baltussen - 2000 - Leiden: Brill.
    First analysis of the whole treatise On the sense by Theophrastus in the English language. Uses Aristotle's dialectic in its applied sense as analytical and heuristic tool to characterise the argumentative and polemical strategy on the Presocratic and Platonic views on perception and cognition.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  45.  7
    The World Observed/the World Conceived.Hans Radder - 2006 - University of Pittsburgh Press.
    Observation and conceptual interpretation constitute the two major ways through which human beings engage the world. _The World Observed/The World Conceived _presents an innovative analysis of the nature and role of observation and conceptualization. While these two actions are often treated as separate, Hans Radder shows that they are inherently interconnected-that materially realized observational processes are always conceptually interpreted and that the meaning of concepts depends on the way they structure observational processes and abstract from them. He examines the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  46.  14
    Pomponazzi on Identity and Individuation.Han Thomas Adriaenssen - 2022 - Journal of the History of Philosophy 60 (1):25-46.
    Aristotle defines growing as a process in which an individual living being persists as it accumulates new matter. This definition raises the question of what enables an individual to persist as its material composition continuously changes over time. This paper provides a systematic account of Pietro Pomponazzi’s answer to this question. In his De nutritione et augmentatione, Pomponazzi argues that individuals persist in virtue of their forms. Forms are individuated in part by their material, causal, and temporal origins, which commits (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Logik und Semiotik in der Philosophie von Leibniz.Hans Burkhardt - 1980 - Studia Leibnitiana 13 (1):154-157.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  48. Heuristics and the generalized correspondence principle.Hans Radder - 1991 - British Journal for the Philosophy of Science 42 (2):195-226.
    Several philosophers of science have claimed that the correspondence principle can be generalized from quantum physics to all of (particularly physical) science and that in fact it constitutes one of the major heuristical rules for the construction of new theories. In order to evaluate these claims, first the use of the correspondence principle in (the genesis of) quantum mechanics will be examined in detail. It is concluded from this and from other examples in the history of science that the principle (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  49. Arbeit am Mythos.Hans Blumenberg - 1983 - Zeitschrift für Philosophische Forschung 37 (3):448-453.
    No categories
     
    Export citation  
     
    Bookmark   25 citations  
  50. Modernity and the Hegemony of Vision.Hans Blumenberg, David Michael Levin & Joel Anderson - 1993 - In David Kleinberg-Levin (ed.), Modernity and the Hegemony of Vision. The University of California Press.
    This collection of original essays by preeminent interpreters of continental philosophy explores the question of whether Western thought and culture have been dominated by a vision-centered paradigm of knowledge, ethics, and power. It focuses on the character of vision in modern philosophy and on arguments for and against the view that contemporary life and thought are distinctively "ocularcentric." The authors examine these ideas in the context of the history of philosophy and consider the character of visual discourse in the writings (...)
     
    Export citation  
     
    Bookmark   24 citations  
1 — 50 / 1000